COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 CS 154 DIRECTORY C00003 ENDMK Cā; CS 154 DIRECTORY 154A01 "standardize" a PDA, constructed as a flowchart... 154B03.TEX monotonic function, fixed point, 154EQ.TEX language over Sigma, equivalence relations